Resultaten visas 1 - 10 / 341
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År
Publicationer information ikon

Proof-Theoretic Analysis of the Quantified Argument Calculus

Referentgranskad
Öppen tillgång
DOI
10.1017/S1755020318000114
Pavlović , Edi; Norbert Gratzl
The Review of Symbolic Logic2019Publicationer information ikon

Free Logic and the Quantified Argument Calculus

Referentgranskad
Öppen tillgång
DOI
10.1515/9783110657883-007
Pavlovic, Edi; Gratzl, Norbert
Publications of the Austrian Ludwig Wittgenstein Society – New Series2019Publicationer information ikon

Abstract Forms of Quantification in the Quantified Argument Calculus

Referentgranskad
DOI
10.1017/S175502032100006X
Pavlovic, Edi; Gratzl, Norbert
The Review of Symbolic Logic2021Publicationer information ikon

Proof theory for quantified monotone modal logics

Referentgranskad
Öppen tillgång
DOI
10.1093/jigpal/jzz015
Negri, Sara; Orlandelli, Eugenio
Logic journal of the IGPL2019Publicationer information ikon

Individual Differences in Argument Strength Discrimination

Referentgranskad
Öppen tillgång
DOI
10.1007/s10503-023-09620-x
Svedholm-Häkkinen, Annika M.; Hietanen, Mika; Baron, Jonathan;
Argumentation2023Publicationer information ikon

Enhancing the quantified judgment method

Karanta, Ilkka; Rinta-Runsala, Esa; Metteri, Jussi
Nordic Military Operational Research Symposium2004Publicationer information ikon

Multicentric Holomorphic Calculus

Nevanlinna, Olavi
-2010Publicationer information ikon

Computing Smallest MUSes of Quantified Boolean Formulas

Referentgranskad
Öppen tillgång
DOI
10.1007/978-3-031-15707-3_23
Niskanen, Andreas; Mustonen, Jere Verneri; Berg, Jeremias; Järvisalo, Matti
Lecture Notes in Computer Science2022Publicationer information ikon

Pseudodifferential calculus on the 2-sphere

Referentgranskad
Turunen, Ville
Proceedings of the Estonian Academy of Sciences. Physics Mathematics2004Publicationer information ikon

Pseudodifferential calculus on the 2-sphere

Turunen, Ville
-2003

Proof-Theoretic Analysis of the Quantified Argument Calculus

Referentgranskad
Öppen tillgång
DOI
10.1017/S1755020318000114
2019

Free Logic and the Quantified Argument Calculus

Referentgranskad
Öppen tillgång
DOI
10.1515/9783110657883-007
2019

Abstract Forms of Quantification in the Quantified Argument Calculus

Referentgranskad
DOI
10.1017/S175502032100006X
2021

Proof theory for quantified monotone modal logics

Referentgranskad
Öppen tillgång
DOI
10.1093/jigpal/jzz015
2019

Individual Differences in Argument Strength Discrimination

Referentgranskad
Öppen tillgång
DOI
10.1007/s10503-023-09620-x
2023

Enhancing the quantified judgment method

2004

Multicentric Holomorphic Calculus

2010

Computing Smallest MUSes of Quantified Boolean Formulas

Referentgranskad
Öppen tillgång
DOI
10.1007/978-3-031-15707-3_23
2022

Pseudodifferential calculus on the 2-sphere

Referentgranskad
2004

Pseudodifferential calculus on the 2-sphere

2003